31 research outputs found
Approximating branchwidth on parametric extensions of planarity
The \textsl{branchwidth} of a graph has been introduced by Roberson and
Seymour as a measure of the tree-decomposability of a graph, alternative to
treewidth. Branchwidth is polynomially computable on planar graphs by the
celebrated ``Ratcatcher''-algorithm of Seymour and Thomas. We investigate an
extension of this algorithm to minor-closed graph classes, further than planar
graphs as follows: Let be a graph embeddedable in the projective plane
and be a graph embeddedable in the torus. We prove that every
-minor free graph contains a subgraph where the
difference between the branchwidth of and the branchwidth of is
bounded by some constant, depending only on and . Moreover, the
graph admits a tree decomposition where all torsos are planar. This
decomposition can be used for deriving an EPTAS for branchwidth: For
-minor free graphs, there is a function
and a -approximation algorithm
for branchwidth, running in time for every
Excluding Surfaces as Minors in Graphs
We introduce an annotated extension of treewidth that measures the
contribution of a vertex set to the treewidth of a graph This notion
provides a graph distance measure to some graph property : A
vertex set is a -treewidth modulator of to if the
treewidth of in is at most and its removal gives a graph in
This notion allows for a version of the Graph Minors Structure
Theorem (GMST) that has no need for apices and vortices: -minor free
graphs are those that admit tree-decompositions whose torsos have
-treewidth modulators to some surface of Euler-genus This
reveals that minor-exclusion is essentially tree-decomposability to a
``modulator-target scheme'' where the modulator is measured by its treewidth
and the target is surface embeddability. We then fix the target condition by
demanding that is some particular surface and define a ``surface
extension'' of treewidth, where \Sigma\mbox{-}\mathsf{tw}(G) is the minimum
for which admits a tree-decomposition whose torsos have a -treewidth
modulator to being embeddable in We identify a finite collection
of parametric graphs and prove that the minor-exclusion
of the graphs in precisely determines the asymptotic
behavior of {\Sigma}\mbox{-}\mathsf{tw}, for every surface It
follows that the collection bijectively corresponds to
the ``surface obstructions'' for i.e., surfaces that are minimally
non-contained in $\Sigma.
Odd-Minors I: Excluding small parity breaks
Given a graph class~, the -blind-treewidth of a
graph~ is the smallest integer~ such that~ has a tree-decomposition
where every bag whose torso does not belong to~ has size at
most~. In this paper we focus on the class~ of bipartite graphs
and the class~ of planar graphs together with the odd-minor
relation. For each of the two parameters, -blind-treewidth and
-blind-treewidth, we prove an analogue of the
celebrated Grid Theorem under the odd-minor relation. As a consequence we
obtain FPT-approximation algorithms for both parameters. We then provide
FPT-algorithms for \textsc{Maximum Independent Set} on graphs of bounded
-blind-treewidth and \textsc{Maximum Cut} on graphs of bounded
-blind-treewidth
Cyclewidth and the Grid Theorem for Perfect Matching Width of Bipartite Graphs
A connected graph G is called matching covered if every edge of G is
contained in a perfect matching. Perfect matching width is a width parameter
for matching covered graphs based on a branch decomposition. It was introduced
by Norine and intended as a tool for the structural study of matching covered
graphs, especially in the context of Pfaffian orientations. Norine conjectured
that graphs of high perfect matching width would contain a large grid as a
matching minor, similar to the result on treewidth by Robertson and Seymour. In
this paper we obtain the first results on perfect matching width since its
introduction. For the restricted case of bipartite graphs, we show that perfect
matching width is equivalent to directed treewidth and thus the Directed Grid
Theorem by Kawarabayashi and Kreutzer for directed \treewidth implies Norine's
conjecture.Comment: Manuscrip